Induction on Concurrent Terms
نویسنده
چکیده
This paper considers MiniML equipped with a standard big-step semantics and a destination-passing semantics both represented in concurrent LF (CLF) and prove the two semantics equivalent. The proof is then examined yielding insights into the issues concerning induction on concurrent terms. We conclude by outlining some of the difficulties that one will need to address when designing a meta-logic for CLF.
منابع مشابه
A Formalization of a Concurrent Object Calculus up to -conversion
We experiment a method for representing a concurrent object calculus in the Calculus of Inductive Constructions. Terms are rst deened in de Bruijn style, then names are reintroduced in binders. The terms of the calculus are formalized in the mechanized logic by suitable subsets of the de Bruijn terms; namely those whose de Bruijn indices are relayed beyond the scene. The-equivalence relation is...
متن کاملThe optimal chemotherapy timing in patients with inoperable locally advanced non small cell lung cancer.
BACKGROUND Only 20% of patients with stage III NSCLC are cured by surgery. There is a disagreement among the oncologists in terms of whether which regimen (induction chemotherapy followed chemoradiotherapy, concurrent chemoradiation or concurrent chemoradiation followed consolidation chemotherapy) is best choice in inoperable LA NSCLC. OBJECTIVE To evaluate chemotherapy timing in inoperable L...
متن کاملسینتیک سمانتاسیون مس از محلول سولفاتی بهوسیله پودر آلومینیوم تحت شرایط گلولهزنی
Despite a great thermodynamic driving force, copper cementation by aluminum from sulfate solutions involves a relatively slow kinetics due to the presence of the passive oxide film on the surface of aluminum. The previous studies have confirmed the positive effect of the presence of small amounts of chloride ion on reducing the scale of this problem. In this paper, the effect of concurrent...
متن کاملEvaluation of a Novel Thermobrachytherapy Seed for Concurrent Administration of Brachytherapy and Magnetically Mediated Hyperthermia in Treatment of Solid Tumors
Concurrent hyperthermia and radiation therapy in treatment of cancer show a strong evidence of a synergistic enhancement. We designed a new self-regulating Thermo-Brachytherapy seed, which serves as a source of both radiation and heat for concurrent administration of brachytherapy and hyperthermia. The Thermo-Brachytherapy seed has a core of ferromagnetic material which produces heat when subje...
متن کامل[Induction chemotherapy with docetaxel plus cisplatin (TP regimen) followed by concurrent chemoradiotherapy with TP regimen versus cisplatin in treating locally advanced nasopharyngeal carcinoma].
BACKGROUND AND OBJECTIVE Clinical trials on docetaxel plus cisplatin (DDP) (TP regimen) in treating nasopharyngeal carcinoma (NPC) are still uncertain due to limited samples. This study was to compare the short-term efficacy and toxicity of induction chemotherapy with TP regimen followed by concurrent chemoradiotherapy with TP regimen versus DDP in treating locally advanced NPC. METHODS Fifty...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Electr. Notes Theor. Comput. Sci.
دوره 196 شماره
صفحات -
تاریخ انتشار 2008